syntactic checker

См. также в других словарях:

• Metamath — Developer(s) Norman Megill Written in C Operating system …   Wikipedia

• Communicating sequential processes — In computer science, Communicating Sequential Processes (CSP) is a formal language for describing patterns of interaction in concurrent systems.[1] It is a member of the family of mathematical theories of concurrency known as process algebras, or …   Wikipedia

• Type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing …   Wikipedia

• Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… …   Wikipedia

• Basque language — Basque Euskara Spoken in  Spain …   Wikipedia

• diff — This article is about the file comparison utility. For other uses, see DIFF (disambiguation). Diffs redirects here. For the American punk rock group, see The Diffs. In computing, diff is a file comparison utility that outputs the differences… …   Wikipedia

• Artificial intelligence — AI redirects here. For other uses, see Ai. For other uses, see Artificial intelligence (disambiguation). TOPIO, a humanoid robot, played table tennis at Tokyo International Robot Exhibition (IREX) 2009.[1] Artificial intelligence ( …   Wikipedia

• Fixed-point combinator — Y combinator redirects here. For the technology venture capital firm, see Y Combinator (company). In computer science, a fixed point combinator (or fixpoint combinator[1] ) is a higher order function that computes a fixed point of other functions …   Wikipedia

• Google search — Infobox Website name = Google caption = The Google homepage (using the Safari web browser.) url = [http://www.google.com/ www.google.com] list of domain names commercial = yes type = Search Engine language = multilingual ( 100) registration =… …   Wikipedia

• Latin — Infobox Language name=Latin nativename= la. Lingua Latina pronunciation=/laˈtiːna/ states=Vatican City speakers= Native: none Second Language Fluent: estimated at 5,000Fact|date=April 2007 Second Language Literate: estimated 25,000Fact|date=April …   Wikipedia

• Object-oriented programming — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computing …   Wikipedia